complete axiom set
英 [kəmˈpliːt ˈæksiəm set]
美 [kəmˈpliːt ˈæksiəm set]
网络 完备公理集
双语例句
- The third, I demonstrated that the Boolean_valued model V B ( where B is a complete Boolean algebra) of ZFC axiom system in set theory is, too, a Boolean valued model of the deontic logical systems D 1? D 2 and D 3.
最后证明集合论的ZFC公理系统的布尔值模型VB（B是一个完全的布尔代数）也是道义模态逻辑系统D1、D2和D3的布尔值模型。 - The Complete Axiom Set of MP~ M
中介命题演算系统MP~M的公理完备集